¿Qué es Algol (además de un lenguaje de programación)?