BenchMARL: Benchmarking Multi-Agent Reinforcement Learning