US elections: World leaders congratulate Trump on victory