The Mifare Classic key Diversification algorithm implemented in python