Development of the OpenQuake engine, the Global Earthquake Model’s open-source software for seismic risk assessment