Tool Support for the Migration to Microservice Architecture: An Industrial Case Study