Damaged Russian ships spilled estimated 3,700 tons of oil in Kerch Strait, state media says