the different types of tools used in manufacturing