煤的气化中，所用的气化剂是（）、空气和它们的混合气。