Embodied geometric reasoning: Dynamic gestures during intuition, insight, and proof.