A Convex Loss Function for Set Prediction with Optimal Trade-offs Between Size and Conditional Coverage