Quasiconformal Maps and Teichmüller Theory