A model theoretic proof of Feferman's preservation theorem