If it takes 50 workers 4 hours to dig a hole, how long should it take 30 workers to dig the same hole?