Gradient estimates for nonlinear elliptic double obstacle problems. (May 2020)