Hertz buys Dollar Thrifty for $2.3 billion