User contribution and its social-welfare value in a mobile navigation app for real-time traffic information around urban areas