Life with PlayStation, released on September 18, 2008 to succeed Folding@home, was retired November 6, 2012. On what date was Life with PlayStation continued?