ParK: Sound and Efficient Kernel Ridge Regression by Feature Space Partitions