Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications