Real-Time Construction Schedule Analysis of Long-Distance Diversion Tunnels Based on Lithological Predictions Using a Markov Process · Study