Finite primitive groups and edge-transitive hypergraphs