ARIANNA: a smartphone-based navigation system with human in the loop