Evaluating probabilistic programming languages for simulating quantum correlations