Public sector net borrowing came in at £17.4bn in October, which was £1.6bn more than a year ago and the second-highest October on record