how many gallons of oil spill in the gulf