A System for Mining Correlations among Multiple Evolving Data Streams