Sandvik completes the acquisition of Miranda Tools' business