我国煤矿中采用的人工假顶材料，主要有竹笆或荆笆假顶、金属网假顶 、________。