Total interest paid on the average mortgage over 25 years