Polynomial time cryptoanalytic extraction of neural network models