highest paid government official