Determinacy and optimal strategies in infinite-state stochastic reachability games