Home Editor’s Pick Private 5G for Smart Manufacturing: Lessons Learned from First Productive Deployments