Contrast formation in atomic resolution scanning force microscopy on CaF2(111): experiment and theory