Gesteinschneider, Trennschleifer und Erdbohrgeräte