Provable Deterministic Leverage Score Sampling