Is it better for career progression to work in a civil service department or executive agency, and if so in what way? Or no difference?