キャタピラー、RPMGlobal買収で鉱業のデジタル化を推進