Caterpillar acquiert RPMGlobal pour étendre son unité de logiciels miniers