Automated Expected Value Analysis of Recursive Programs