Implement binary search example