Through the Castle Tunnels: an Empirical Study of Inter-App Navigation Behaviors of Android Users