Indian origin tech CEO Jagdeep Singh becomes highest-paid man in the world