sum of normally distributed random variables