Superconducting intermediate-velocity drift-tube cavities for the RIA driver linac