Graebert: Scaling a Stateful Cloud-based CAD Service to Match Demand