Justin Verlander named Astros’ Opening Day starter