Embodied Cognition in mathematics