Saudi stock market reaches all-time high