Qual profecia do Antigo Testamento é frequentemente interpretada como uma referência à crucificação de Jesus, descrevendo detalhes como a divisão de suas vestes e o lançamento de sortes sobre sua túnica?