Dynamic ride-sourcing systems for city-scale networks - Part I: Matching design and model formulation and validation | Publicación