Congress agrees to 3.1% federal pay raise in 2020 spending bill