A quantitative approach to carbon price risk modeling