サンドビック、高度な鉱山最適化ソフトウェアプロバイダーの 豪Polymathianを買収