Arabidopsis halleri: a model system for studying population differentiation and local adaptation