pang-agham na pagmimina para sa karbonsangkap ng industriya ng pagmimina