Weir completes acquisition of Micromine - Weir PLC | RNS | Ticker