Senate elections: How the transferable vote system works