Structural computations in finite permutation groups