Computer modelling of thorium doping in LiCaAlF6and LiSrAlF6: application to the development of solid state optical frequency devices | Synapse