Multivariate trace inequalities