What is the formula mass for carbon tetrafloride?