MC2MABS -- Monte Carlo Model Checker for Agent-based Simulations