One pump fills a tank 3 times as fast as another pump. If the pumps work​ together, they fill the tank in 12 minutes. How long does it take for the faster pump to fill the​ tank?