Large crystal local-field effects in second-harmonic generation of a Si/CaF2 interface:An ab initio study