The primitive equations as the small aspect ratio limit of the Navier–Stokes equations: Rigorous justification of the hydrostatic approximation