bauma 2019 sees record visitor numbers