Mining Human Mobility in Location-Based Social Networks (Synthesis Lectures on Data Mining and Knowledge Discover)