An identifiable double VAE for disentangled representations