R-KV: Redundancy-aware Key-Value Cache Compression for Reasoning Models Paper Introduction Observation Methodology Experiments Related Work