Ab initio study of helium in Li4SiO4 crystals: Electronic properties, migration, and vacancy capture mechanism