Provably Accurate Shapley Value Estimation via Leverage Score Sampling