High-Pressure Modeling of Asphaltene Precipitation during Oil Depletion Based on the Solid Model