Mathematical description of atomic layer deposition and its application to the nucleation and growth of HfO2 gate dielectric layers