Text this: A formal messaging notation for Alaskan aviation data /