北京煤矿工人大学，有知道的吗？