A Domain-Specific Language for Modeling IoT System Architectures that Support Monitoring