What must happen for carbon dioxide to sublimate at a given pressure ?