GDP monthly estimate, UK: November 2018