天然洞石根据它自身的形成过程，在商业上被归类为()。