Mechanizacja górnictwa