brief introduction for stone mining