Lévy walks derived from a Bayesian decision-making model in non-stationary environments