Computer simulation of superionic CaF2