Composition in fractional Sobolev spaces