Sharp bounds for composition with quasiconformal mappings in Sobolev spaces