Find the name of the department which has the highest average salary of professors.
select dept_name from instructor group by dept_name order by avg(salary) desc limit 1