Local Identifiability of Deep ReLU Neural Networks: the Theory