Rep. Barbara Lee officially launches U.S. Senate campaign