Improvment: vector_insert_sorted() now uses a binary insertion