User Satisfaction in Smart Environments: The Case "Stadhuistoren" Smart Office Building of Municipality of Eindhoven