Propagation of Sobolev Singularities for Real Principal Type Operators