Artificial-Intelligence-Assisted Uncertainty Quantification and Reliability-Based Optimization of Deep Tunnel Liner Systems in Rock Formation With Time-Dependent Behavior