Mining drill