Notes on using docker