Backward-Compatible Prediction Updates: A Probabilistic Approach