Added an implementation of binary search