Provably Strict Generalisation Benefit for Invariance in Kernel Methods