selection sort time complexity proof