What is the total student capacity of all dorms?
select sum(student_capacity) from dorm