New Dallas city budget proposal stoking controversy over possible library closure