Deriving the variance of the difference of random variables