新奥法和传统矿山法都属于（）范畴。