GAO report: Dollar coins make more cents