Multivariate Bonferroni-Type Inequalities: Theory and Applications