Interactive HTML widgets for Jupyter notebooks