Craig interpolation for networks of sentences