Dallas considers combining bigger, regional libraries with housing, retail projects