Neural Fuzzy Extractors: A Secure Way to Use Artificial Neural Networks for Biometric User Authentication