Identifiability of hierarchical latent attribute models