Modeling the Underground Infrastructure of Urban Environments