Estimating public space metrics from nineteenth-century urban cartography: Barcelona’s Cerdà Plan of urban expansion | Publicación