Variational Autoencoders and Nonlinear ICA: A Unifying Framework