Postgres Sorting at Scale Needs More Than Order By