River: machine learning for streaming data in Python