UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning