¿Qué es Linux y por qué hay cientos de distribuciones de Linux?