Fault reactivation case study for probabilistic assessment of carbon dioxide sequestration