NBC: Mexico turns to U.S., German companies to help rescue trapped miners