Geophysical applications of sound : volcano infrasound and marine seismic sources