Expand on maintainability benefits of aasm_progressable to the 2nd case study.