When did the delegates agreed to the great compromise