A mathematical framework for curved active constrained layer structures: well-posedness and approximation1