Defining Explanation in Probabilistic Systems