Gravity-wave-induced pressure fluctuations in the deep ocean