TinTO: A Tool for the View-Based Analysis of Streams of Stock Market Data