Which country launched its first high-speed rail line, the first ever such line in Africa?