If 6 workers can build a wall in 10 days, how many workers would be needed to build the same wall in 5 days?