https://remp3indir.net/java-binary-search/