Validar número ISBN-13

Un ISBN-13 es un código de 13 dígitos usado para identificar libros. Para verificar si es válido se aplica la siguiente fórmula:

1. Toma los primeros 12 dígitos y multiplica alternadamente por 1 y 3.
2. Suma todos los productos.
3. Calcula checkDigit = (10 - (suma % 10)) % 10.
4. El resultado debe coincidir con el dígito 13 del código.

Dada una cadena de exactamente 13 caracteres numéricos, retorna true si es un ISBN-13 válido o false en caso contrario.

Ejemplos

validateISBN13("9780306406157")  // true
validateISBN13("9780306406158")  // false  (dígito de control incorrecto)
validateISBN13("9783161484100")  // true
validateISBN13("0000000000000")  // true   (todos ceros)

Restricciones

• La cadena siempre tiene exactamente 13 caracteres numéricos ("0"–"9").
• No recibirás entrada con letras ni espacios.