Improve INSTALL documentation