Bayesian high-resolution reconstruction of low-resolution compressed video