Automatic cell-type harmonization and integration across Human Cell Atlas datasets