Model-based Dynamic Shielding for Safe and Efficient Multi-Agent Reinforcement Learning