Latent Optimal Paths by Gumbel Propagation for Variational Bayesian Dynamic Programming