Multivariate Bonferroni-Type Inequalities (Theory and Applications)