U.S. government to buy Corel software