Smooth Wave Front Set as the Closure of Sobolev Wave Front Sets