US industrial production rise in July higher than estimate