工業炉とは