Kenya launches $3.8 billion high-speed railway