It looks like the best ASICs are at around 1.5 gigahash / joule. Certainly less than 2.

So 13 million gigahash per second translates into at least 6.5 megawatts. But 2 is a pretty aggressive figure, it's probably easily above 10 megawatts.