The primitive equations as the small aspect ratio limit of the Navier-Stokes equations: rigorous justification of the hydrostatic approximation | Synapse