Algunos secretos del documento nacional de identidad español: una aplicación de la aritmética modular a códigos detectores de errores