DiTMoS: Delving into Diverse Tiny-Model Selection on Microcontrollers