How do we know today about the details of the constitutional convention?