An analytical drain current model for graphene nanoribbon tunnel field-effect transistors