Workplace safety documents: models and tools for document management