Planetary science: Bedrock formation at Meridiani Planum