Picking a European Parliament president: how does it work?