Experimentation in planetary geology