A Semantics for HTN Methods