Mining large-scale, sparse GPS traces for map inference | Synapse