Día mundial del Emoji: ¿Por qué se celebró el 17 de julio?