A rigorous real-time acoustic positioning method for ocean bottom seismic exploration | Synapse