Oil rig in Gulf of Mexico sinks after explosion; eleven missing