A Combination of Theta*, ORCA and Push and Rotate for Multi-agent Navigation