Mining giant Cleveland Cliffs gets bigger with merger