Do we need gender quotas for musical festival line-ups?