A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities