Saudi govt launches ‘Holodoctor’ service for Hajj pilgrims