Miami-Dade County School District teacher salaries / number of teachers