From Right-angled Hyperbolic Polyhedra to Groups and Manifolds