What are pitons used for in climbing gear. They are designed to be hammered and thrust into the rock.