Evaluation of high-temperature properties of CaF 2 with machine-learning molecular dynamics