12.4.4 用Keras实现变分自编码器