Broward county public schools' enrollment