A probabilistic model to evaluate options for mitigating induced seismic risk