How to Retire as a Federal Employee in 2023