An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems