An IoT Model for Coping with Trade-offs in Designing Smart Environments