Activation energies for permeation of He and H2 through silica membranes: An ab initio calculation study