MARLens: understanding multi-agent reinforcement learning for traffic signal control via visual analytics