Método de Simulação Computacional para o Cálculo de Energias de Defeitos Pontuais em Soluções Sólidas de CaF2 com Fluoretos de Terras Raras e Alumínio