Wikipedia hints that the metric system wasn't initially adopted in the US because of the manufacturing industry lobbying against it - true?