Expressive Losses for Verified Robustness via Convex Combinations