Quantitative regularity for p-harmonic maps