what is the machinery is used to line mines