first principles characterisation of aluminium trifluoride c