About 13,000 US auto workers go on strike