Majorization and additivity for multimode bosonic Gaussian channels