Title: The effect of unionization and civil service on the salaries and productivity of regulators