The UK trade deficit in goods and services shrank to £4.5bn in July from £5.6bn the previous month, the Office for National Statistics (ONS) says.