Tactics2D: A Multi-agent Reinforcement Learning Environment for Driving Decision-making