En el libro de Zacarías, se menciona a un personaje llamado Josué, el sumo sacerdote (Zacarías 3). Además de su papel histórico como líder religioso, ¿qué simbolismo profético se le atribuye a Josué en la visión de Zacarías y cómo apunta a la venida del Mesías?