Secure synchronization of artificial neural networks used to correct errors in quantum cryptography