Algorithmic problem of sorting a collection of data values by numeric keys, each of which is an integer