The president “signed an Executive Order using authority granted by the Civil Service Reform Act of 1978 (CSRA) to end collective bargaining with Federal unions.”