Mysterious mineral on Mars was spat out by an explosive eruption 3 billion years ago