General Relativity: Gravitation as Geometry and the Machian Programme