Experimental and modeling study of oxidation and autoignition of butane at high pressure