Collaborative Planar Pushing of Polytopic Objects with Multiple Robots in Complex Scenes