defination of an asphalt pulverizer