At the start of the year, the UK economy was going "gangbusters", according to the normally sober Office for National Statistics. Then something went wrong in July.