Experimental and Density Functional Theory (DFT) Investigation of the Mechanism of Dehydration of 2-Butanol over Y-Alumina