The International Variable Star Index (VSX)