13.4 使用HAVING子句进行过滤分组