A review of selected topics in physics based modeling for tunnel field-effect transistors