How is the number of congressmen in the house of representatives determined