How an app helped pilgrims complete the last formal rite of Hajj