Ohio’s largest-ever economic development project comes with a big employment challenge: how to find 7,000 construction workers in an already booming building