Stav dette: Efficiently solving convex relaxations for MAP estimation