เครื่องจักรในอุตสาหกรรมใช้ในการขุด