Square root using binary search.