Ocean Springs wins annexation case, adds almost 6 square mil