A Model Counter's Guide to Probabilistic Systems