교육공무원의 건강보험 자격 취득 및 상실 절차는 어떻게 되나요?