Permutation Groups and Polynomial Time Computation