Update: IBM buys Informix's database business for $1 billion