Robustness and Convergence of a Stochastic Deterioration Prediction Model for Tunnel Lighting Facilities: A Japanese Case Study Based on Systematized Expert Knowledge and Large-Scale Monte Carlo Simulation | Synapse