10V programmable Josephson voltage standard circuits using NbN∕TiNx∕NbN∕TiNx∕NbN double-junction stacks