strehilis used for vibrating of stones at mines