the different types of tools used in construction