Tutorial: Probability Programming for Augmented Intelligence