SpiceTech develops digital library of documents used by pilots in cockpit