Efficient Constraint Generation for Stochastic Shortest Path Problems