How does the reparameterization trick work in VAEs, and why is it necessary for backpropagation?