LeanK: Learnable K Cache Channel Pruning for Efficient Decoding