On a weather map a barometric pressure of 055 is shorthand for​