Passivity analysis and passification of discrete-time hybrid systems