Compact Projective Planes: With an Introduction to Octonion Geometry by Helmut Salzmann & Dieter Betten