Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking