The difference between apt-get upgrade, apt-get dist-upgrade, and do-release-upgrade