Optimal planning modulo theories