Email (record): Automated Termination Analysis of Polynomial Probabilistic Programs