Roof extensions and urban densification