SQL查询,描述SUM聚合功能和具有HAVING的GROUP-BY的用法