sort large file containing a lot of integers