DARPA seeking faster, smaller, greener supercomputers