A variational size-dependent model for electrostatically actuated NEMS incorporating nonlinearities and Casimir force