Provably Convergent Schr\"odinger Bridge with Applications to Probabilistic Time Series Imputation