Butene Isomerization and Double-Bond Migration on the H-ZSM-5 Outer Surface: A Density Functional Theory Study