煤矿工作面的煤层平均厚度怎么计算