Qual profecia do Antigo Testamento é frequentemente citada como cumprida pela crucificação de Jesus, descrevendo detalhes como a divisão de suas vestes e o lançamento de sortes?