Automation and labor market polarization in an evolutionary model with heterogeneous workers