A Brief History of the Bloomberg Terminal