mobile mining machine types and sizes