Survey on Fully Homomorphic Encryption, Theory, and Applications