Theory for Marchenko imaging of marine seismic data with free surface multiple elimination