Deep Neural Networks for Encrypted Inference with TFHE