Заказ в пределах ARRAY_AGG после GROUP BY в BigQuery

У меня есть таблица BigQuery:

create or replace table `project.table.mock` as (
  select 1 as col0, 'a' as col1, 'x' as col2
    union all
  select 2 as col0, 'a' as col1, 'y' as col2
    union all
  select 4 as col0, 'b' as col1, 'z' as col2
    union all
  select 8 as col0, 'b' as col1, 'X' as col2
    union all
  select 7 as col0, 'b' as col1, 'Y' as col2
)

Визуализация:

Я хотел бы group by столбец col1 и array_agg результаты из col2. Я хотел бы, чтобы элементы, появляющиеся в каждом массиве, были отсортированы по col0.

Я сейчас по адресу:

select array_agg(col2) as col1arrays from `project.table.mock` group by col1;

что дает мне:

Желаемый результат во второй строке будет [z, Y, X] (поскольку в строке, где z появляется в col2, есть 4 в col0, в строке, где Y появляется в col2, есть 7 в col0, а в строке, где X появляется в col2, есть 8 в col0, и 4 < 7 < 8.

Как я могу добиться упорядочения внутри array_agg, как описано выше, в BigQuery?