China’s July daily coal output jumps 16% yr/yr on peak summer demand