Knowledge Engineering Tools and Techniques for AI Planning