Muon number nonconserving processes in models with doubly charged leptons