Heuristic Contraction Hierarchies with Approximation Guarantee