Leveraging Approximate Model-based Shielding for Probabilistic Safety Guarantees in Continuous Environments