Algorithmic differentiation for mixed FEniCS-Tensorflow models