Larry Ellison becomes world's richest person, overtaking Elon Musk