Dimension reduction through Gamma convergence in thin elastic sheets with thermal strain, with consequences for the design of controllable sheets