algorithm: binary sort search