Probabilistic programming: doing statistics using the tools of computer science