How much oil was lost in oil spill in the Gulf of Mexico oil spill?