Integer Programming Models For Sorting Permutations And Genome Rearrangement Problems