“Envelope theorem in dynamic economic models with recursive utility”