Encrypted Internet traffic classification using a supervised Spiking Neural Network