Deriving Young’s Double Slit Interference Formulas