Texas sets record for hottest June-August in US history