Martinez not for sale, say Porto