Stochastic shortest path games: theory and algorithms