Electric lighting at the workplace in offices: Efficiency improvement margins of automation systems