Designing a Semantic Digital Twin model for IoT