Pirates manager explains why he pulled Paul Skenes from no-hitter