Lingua Franca: A Design Language for Human-Centered AI