Turing winner David Patterson: how to give AI a bad carbon footprint