Atmospheric pressure waves from the eruption of the Hunga Tonga