The Einstein Relativistic Velocity Model of Hyperbolic Geometry and Its Plane Separation Axiom