MARLens: Understanding Multi-Agent Reinforcement Learning for Traffic Signal Control via Visual Analytics