The effect of infrastructure on worker mobility: evidence from high-speed rail expansion in Germany | Synapse