what device is used to mining