Muslims 'stone the devil' as final Hajj ritual