Hello teachers, I would like to use FEniCS for three-dimensional thermo-mechanical coupling analysis, with a specific emphasis on analyzing contact stress caused by thermal expansion. Could you please provide examples of using FEniCS for three-dimensional thermo-mechanical coupling analysis, or any helpful guidance? Thank you!