Passivity of discrete-time port-Hamiltonian systems for power-electronic applications