Como o Senado brasileiro é formado?