SMS: Auto-encoding sequential Monte Carlo