Honor identity sort orders for Arrow table writes

## Feature Request / Improvement

PyIceberg accepts table sort orders at write time but ignores them. Arrow table writes produce unsorted data files and hard-code `sort_order_id=None`, so manifests are inconsistent with the sort order the user declared.

Related umbrella issue: #271

### Use case / motivation

Without a truthful sort_order_id and physically ordered data files, readers can't use sort-order-aware pruning and the manifest disagrees with the table's sort metadata. Users who declare a sort order expect their writes to honor it.

### Proposed change

When every sort field uses an identity transform and null placement is consistent, sort materialized Arrow table writes. Unpartitioned tables are sorted before bin packing and each final partition is sorted independently. The table's sort-order ID is recorded on the data files.

Unsupported transforms, nested or missing fields, mixed null placement, and streaming RecordBatchReader writes keep the current behavior. Files are marked unsorted and sort_order_id stays null, with a warning explaining why.

### Implementation

PR #3830 sorts the writes, carries the sort-order ID through WriteTask, writes the truthful DataFile.sort_order_id, and includes unit and integration coverage.

### Tooling note

I developed this with assistance from DS v4 Pro and reviewed the changes myself.

### References

- #271
- #3830

Trước tiên, hãy xem xét PR #3830, cùng với phần coverage unit và integration mà PR này bổ sung cho việc ghi bảng Arrow. Kiểm tra cách sort-order IDs, WriteTask, DataFile, manifests và bin packing được xử lý. Được coi là hoàn tất khi các identity-sort writes được hỗ trợ tạo ra các tệp có thứ tự với các giá trị sort_order_id chính xác, trong khi các trường hợp không được hỗ trợ vẫn giữ nguyên hành vi và cảnh báo hiện tại.

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