The annual cycle of pressure on Mars measured by Viking Landers 1 and 2