Industry City inks new leases for city records dept., coffee shop