Finite Transitive Permutation Groups and Bipartite Vertex-Transitive Graphs