SC2012: Top500 expects exascale computing by 2020