Human Work Interaction Design: Analysis and Interaction Design Methods for Pervasive and Smart Workplaces