arg_max / max_by 的 top-N

对每个品类，列出最贵的 3 个商品的名字。

• top3 是字符串列表，按价格从高到低排列；价格相同时 product_id 小的在前。
• price 为 null 的商品不参与排名。
• 品类里有价格的商品不足 3 个时，列表就只有那么多个元素。每个品类至少有一个有价格的商品。

考点：用“取最大值对应的 x”这类聚合函数的 top-N 形式，一次得到列表，不写窗口函数。判题只看结果。

输入

• products(product_id, name, category, price, cost, launched_on)

输出

列为 category, top3，每个品类一行，行顺序不限；top3 内部的顺序要符合上面的要求。