HTN Planning as Heuristic Progression Search