Lunar Oxygen Extraction Using Fluorine