Modal: an upgrade from the Kubernetes model deployment standard