Uniqueness of the projective plane of order eight