[GED4GEM: a global exposure database for the Global Earthquake Model initiative