Simplex-Structured Matrix Factorization: Sparsity-based Identifiability and Provably Correct Algorithms