Matching GPS Records to Digital Map Data: Algorithm Overview and Application | AMiner