IBM wins reversal of $1.6 billion judgment to BMC over software contract