Mining GPS data to augment road models | Synapse