How VINs encode everything from check digits to 565 submittals, and why the NHTSA's database is the only comprehensive public vehicle registry on Earth