干冰的化学式