Data stream mining: from theory to applications and from stationary to mobile