From Theory to Practice: AI Planning for High Performance Elevator Control