If a woman can mow a yard with a lawn tractor in 2 hours, and another woman can mow the same yard with a push mower in 4 hours, how long will it take if they work together?