MARFL: An Intensional Language for Demand-Driven Management of Machine Learning Backends