Circuit-aware Device Modeling of Energy-efficient Monolayer WS$_2$ Trench-FinFETs