Ordered permutation groups