Churros (en argot minero)