Coverage Probability Analysis of RIS-Assisted High-Speed Train Communications.