石工穴あけ、ハツリ