Microservice Migration Using Strangler Fig Pattern: A Case Study on the Green Button System