How a little lab in West Virginia caught Volkswagen's big cheat