An FIO calculus for marine seismic imaging, II: Sobolev estimates