The performance of politicians: The effect of gender quotas