‘It’s not a waste of energy when you’re having fun’: No regrets for Dan Martin as ‘boredom’ sees him attack at Tour de France