An Introduction to Finite Projective Planes