Negative differential resistance in short-channel graphene FETs: semianalytical model and simulations