U.K. Economy Shrinks 0.3% in Three Months Through October