Optimization of the image quality in carbon dioxide angiography: analytical model and phantom validation