The Contribution of Ernst Mach to Embodied Cognition and Mathematics Education