derivation of e mc2