Formal Analysis of Load Balancing in Microservices with Scenario Calculus