Sweden's Sandvik to buy DSI Underground in €934m deal