Weir to acquire Micromine, a global leader in mining software solutions