Managing the crowds at the Hajj