A brief history of the Bloomberg terminal