Ordered Permutation Groups