AC Josephson voltage standard: progress report