Markov processes for maintenance optimization of civil infrastructure in the Netherlands