Hyperbolic geometry and 3-manifolds