Mechanism of butane isomerization over industrial isomerization catalysts