Application of IRF-Kriging to the mapping of environmental noise generated by quarrying plants