Why history matters: Ab initio rederivation of Fresnel equations confirms microscopic theory of refractive index