Caterpillar fait progresser la numérisation minière avec l'acquisition de RPMGlobal