Deeptime: a Python library for machine learning dynamical models from time series data