Here's what civil service modernization looks like in Trump's 2020 budget request