Qual è la complessità della ricerca binaria e perché è più veloce della ricerca lineare?