Machine learning: The Times of London turns to a ‘digital butler’ named James to increase subscriptions