Construction and recognition of hyperbolic 3-manifolds with geodesic boundary