Programming agent-based mobile apps: The JaCa-android framework