UK economy shrinks between August and October