Mathematical modeling of lactate metabolism in the brain