topi.link: A graph-based vague topology for toponyms