Hyperbolic manifolds with convex boundary