explicit check for integer variables in SOS constraints; update SOS docs