Experimental study of thermal fracturing of Hot Dry Rock irradiated by moving laser beam: Temperature, efficiency and porosity