UK economy shrinks again in October, official figures show