Probabilistic Proof Systems: A Primer (Foundations and Trends(r) in Theoretical Computer Science)