Pruning Techniques for the Increasing Cost Tree Search for Optimal Multi-agent Pathfinding