Time Series Super-Resolution and its Uncertainty Quantification based on Probabilistic Diffusion Models