Business Process Reengineering: Methodology, Stages, and Automation