Sampling Prediction-Matching Examples in Neural Networks: A Probabilistic Programming Approach