Deparametrization and quantization of the Taub universe