The math that makes today a great day to play the lottery