Add support for bucket expression to table scans

### Feature Request / Improvement

For time partitioning, we can express time range expressions and they lead to partition pruning when planning an Arrow scan:

```py
scan = table.scan(
row_filter=And(
GreaterThanOrEqual("event_ts", start),
LessThan("event_ts", end),
)
)

arrow_table = scan.to_arrow()
```

It would be useful to be able to filter by other hidden partitioning transforms, such as buckets -- e.g. filtering on `bucket[16](user_id) in {0, 1, 2, 3}`, and getting partition pruning whenever possible based on the underlying table partitioning specs (falling back to filtering rows when files cannot be pruned).

Bắt đầu từ các entry point table.scan và scan.to_arrow được mô tả trong issue, sau đó lần theo cách xử lý hiện có đối với các biểu thức phạm vi thời gian được sử dụng cho việc pruning partition của Arrow. Kiểm tra cách áp dụng partition spec và row filter; công việc được xem là hoàn thành khi các biểu thức bucket như bucket[16](user_id) có thể prune file khi có thể và chuyển sang lọc row khi không thể.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.