what equipment do miners use