Consistent Sparse Deep Learning: Theory and Computation