UK GDP grows in July, still 11.7% below pre-virus level