global grinding machine market 2011 2018