PAC-Bayesian Theorems for Domain Adaptation with Specialization to Linear Classifiers