Modeling and design of an electrically pumped SiGeSn microring laser