Italian navy rescues nearly 4,000 migrants