Verlander, Altuve lead Astros to 12-4 win over Rangers