How much the five superintendents of school districts in Shawnee County are paid