Initial formation of the CaF2 interface: a theoretical study