Analysis of a Splitting Estimator for Rare Event Probabilities in Jackson Networks