Rigorous Approximation of Diffusion Coefficients for Expanding Maps