U.S. gov't OKs OfficeMax-Office Depot merger