Optimizing leader proportion and behavior for evacuating buildings.