Envelope Formula for Differentiable Perturbed Value Functions