History-Dependent Bridge Deck Maintenance and Replacement Optimization with Markov Decision Processes | Synapse