how is granite mined and processed