Astros’ Justin Verlander pulled after five no-hit innings, Phillies break up combined no-hitter in ninth