Productie-index in de bouwnijverheid van juni 2017