Ordered Groups and Infinite Permutation Groups