Temporal Difference Variational Auto-Encoder