Comedian Al Franken to run for US Senate