Estimation of Origin-Destination matrices under Automatic Fare Collection: the case study of Porto transportation system · Study