various types of tools used in construction