manual tools used for excavation