First 9 km of Lyon-Turin rail tunnel completed