July’s performance was, however, the second-best growth the Index of Industrial Production has seen since December last year, and was buoyed by the manufacturing and electricity and gas supply sectors