Provable Identifiability of Two-Layer ReLU Neural Networks via LASSO Regularization