Nb-based SNS junctions with Al and TaO/sub x/ barriers for a programmable Josephson voltage standard