Theory of boson mixtures