In a​ company, ​95% of the workers are . If 250 people work for the company who​ aren't ​, how many workers are there in​ all?