A mathematical framework for curved active constrained layer structures: well-posedness and approximation1. (December 2019)