Shell, Exxon halt some Gulf of Mexico output due to Exxon pipeline leak