Qual profecia do Antigo Testamento é frequentemente interpretada como uma prefiguração da crucificação de Jesus, descrevendo detalhes como a divisão de suas vestes e o lançamento de sortes?