¿Qué es un acortador de URL y por qué es útil?