Variance of a sum of random variables