The wage structure and the sorting of workers into the public sector