Diurnal pressure variation: the atmospheric tide