Effective population size in social Hymenoptera with worker-produced males