How to make the US $76 trillion richer? Education