Budget-Constrained Optimal Reinsurance Design Under Coherent Risk Measures · Study