Models of the hyperbolic plane