Mall demolition marks first step in $4b Dallas mixed-use development