the school district of palm beach county runs the public schools