Deadlock Resolution and Feasibility Guarantee in MPC-based Multi-robot Trajectory Generation