Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables