Schemas and mental models in geometry problem solving