The O'Nan-Scott Theorem for Finite Primitive Permutation Groups, and Finite Representability