a introduction about stone mining