World crude steel production down annually in July