Quantitative Partial Regularity of the Navier-Stokes Equations and Applications