建筑用玄武岩是几类矿产