Deriving historical total solar irradiance from lunar borehole temperatures