Bedrifter i Rogaland mangler 4 700 ansatte