Given an int vector, return a sorted int vector