A martingale framework for concept change detection in time-varying data streams | Synapse