what is tetrahydrofuran used for