About 10,000 federal public servants apply for early retirement