Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief