Microlocal Analysis and Characterization of Sobolev Wavefront Sets Using Shearlets