Design smart city apps using activity theory.