Problem
Find the highest employee salary for each department. Only show the departments where the highest salaries are greater than $12,000. Display the department_id, highest salary, and the number of employees in each department. Give appropriate aliases as needed. Sort by the salary.