Oil rig explosion in Gulf of Mexico injures workers