Marta Kwiatkowska: Provable guarantees on robustness of Bayesian networks to causal interventions