Theory of Ground State Cooling of a Mechanical Oscillator Using Dynamical Backaction | Synapse