What is the average number of employees of the departments whose rank is between 10 and 15?
select avg(num_employees) from department where ranking between 10 and 15