Experimental and computational investigations on the AlH 3/AlF3 system