Election 2017: What do leaders do in their spare time?

A look at some of the personal passions and pastimes of the UK's political leaders.