On the synthesis of guaranteed-quality plans for robot fleets in logistics scenarios via optimization modulo theories