Servos: The Operating System for Service Businesses