Database: school_finance
Question: What is the total enrollment of all schools?
SQL: select sum(enrollment) from school