Brexit has reversed a decades-long drop in the size of the UK’s civil service