Productie-index in de bouwnijverheid van augustus 2017