Mars’ atmospheric history derived from upper-atmosphere measurements of 38Ar/36Ar