Negative δ18O values in Allan Hills 84001 carbonate: Possible evidence for water precipitation on mars