Pilgrims pelt 'devil' with stones as final Hajj ritual