Americans aren’t getting that much more productive