Provable Data Subset Selection For Efficient Neural Network Training