Automatic Extraction of Axioms for Planning