Title: Optimization for inspection models with Markov deterioration and decreasing inspection intervals