It's Official: OfficeMax and Office Depot to merge