Update Memory Model document