Provable and Efficient Dataset Distillation for Kernel Ridge Regression