Information Inequalities: Facets of Entropy and Automated Reasoning by Optimization