Benefits of regularizing informal settlements