The relative humidity of Mars' atmosphere