Theoretical modelling of steps and surface oxidation on CaF2(111)