Algorítmo de busca binária , implementado na linguagem C