Monte Carlo Variational Auto-Encoders