Foraging Under Uncertainty Follows the Marginal Value Theorem with Bayesian Updating of Environment Representations | Synapse