TaxiWorld: developing and evaluating solution methods for multi-agent planning domains