BART gets funding for San Jose extension