nghiền đá thành muối mỏ là một phản ứng hóa học