An Indian exec is set to make a fortune when Xiaomi goes public