The rest energy of an electron is