Effectiveness of fluorine termination at nitrogen vacancies inside gallium nitride crystals based on first-principles calculations | Synapse