Submodular Function Maximization for Group Elevator Scheduling