A riyal money spinner: Pilgrims add 3 per cent to Saudi GDP