Optimal Search with Inadmissible Heuristics