Probabilistic programming: an annotated bibliography