Topics in the Formal Analysis of the Urban Structure: Environmental Challenges of Urban Sprawl