Automatically Extracting Axioms in Classical Planning