Is the 5.2% pay raise enough for feds? Union says no