Gravar-mail: Mathematical estimation of axial length increment in the control of myopia progression