used single double mining machine