Homomorphism preservation theorems