different types of boring machines