Council unanimously names Gonzalez new Dallas city manager