The inclusion relation between Sobolev and modulation spaces