Providing ChatGPT to the U.S. federal workforce