Topics in computational group theory relating to classifications of permutation groups