UK economy shrinks by 0.1% in October