Free Projective Geometry: An Introduction