Identifiability-Guaranteed Simplex-Structured Post-Nonlinear Mixture Learning via Autoencoder