CV Coen Hogendoorn, directeur-generaal Rijksbegroting