Jak przeliczane są głosy na mandaty w wyborach do Senatu?