How much money is Gordon Moore worth?