กระบวนการที่เกี่ยวข้องกับการขุดหินแกรนิต