Detailed overview of the history, types, and technological advancements in mining machinery, with a focus on excavators and their functions in mining operations