A model-based framework for probabilistic simulation of legal policies