Shell-model molecular dynamics simulation of superionic conduction in CaF2