First-principles calculations on the structural and electronic properties of cubic KCaF 3 and NaCaF 3 (001) surfaces