Stork Industrial Services overgenomen door Fluor