Is petroleum ether the same as diethyl ether