Oracle wins US government HR contract, adding to $30B federal cloud push