Trapped Ar isotopes in meteorite ALH 84001 indicate Mars did not have a thick ancient atmosphere