20.3 热泵在煤矿的应用