Cryocooled programmable and pulse-driven Josephson voltage standards at INRiM