Export activities and the demand for skills in German businesses