Efficient and Provably Convergent Computation of Information Bottleneck: A Semi-Relaxed Approach | Synapse