How is representation determined in the US Senate?