Solving Probability and Statistics Problems by Program Synthesis