Dice Semimetric Losses: Optimizing the Dice Score with Soft Labels