Abstraction-based Probabilistic Stability Analysis of Polyhedral Probabilistic Hybrid Systems