If it takes 5 workers 20 hours to brick a house, how long will it take 8 workers to do the job if they all work at the same rate?