Nonlocal kinetic energy functionals by functional integration.