BMV glitch gives Ohio drivers duplicate licenses