Building and browsing tropos models: The AVI design