It takes 24 minutes for a pump to empty a tank. A larger pump can empty the tank in half the time. How long would it take to empty the tank with both pumps operating?