System issues are blamed as Nasdaq PHLX halts some options trading