UK GDP growth revised higher: the ONS rewrites history