Saudi Arabia’s real gross domestic product grew by 3.9% year-on-year in the first quarter of 2023 as non-oil activities picked up pace