Super-resolution Variational Auto-Encoders