Astros' technology helped Justin Verlander improve his slider