doc/paper.tex: update address