The antifield Koszul-Tate complex of reducible Noether identities