Computational and Experimental Study of Solid-Phase Formation during the Decompression of High-Pressure CO2 Pipelines