What is the name of the agreement that established that the senate would have two members per state, and representation in the house of representatives would be based on population?