Integer Programming for Multi-Robot Planning: A Column Generation Approach