Turkish stock market closes at record high level