Linking the construction industry :electronic operation and maintenance manuals : workshop summary