A quantitative model of grain refinement and strain hardening during severe plastic deformation