Photosynthesis of xenon tetrafluoride