Tight Multi-Target Security for Key Encapsulation Mechanisms