Redox stratification of an ancient lake in Gale crater, Mars