什么叫矿内空气？包括哪些成份？