Quasiconformal mappings and Sobolev spaces