Air traffic controllers were initially offered buyouts and told to consider leaving government