Proximal Operators for Multi-Agent Path Planning