Algorithmic construction and recognition of hyperbolic 3-manifolds, links, and graphs