Can the production number part of any two VINs in the same model year be the same?