Borsa Istanbul’s benchmark index closes at record high