Properness of nonlinear elliptic differential operators in Hölder spaces