Auto-Encoding Sequential Monte Carlo