5.3.1 分组后的数据过滤：使用HAVING过滤组